1.
پدیدآورنده : ادیب سلطانی ،میرشمس الدین ،- 1310
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، , ،گودل ? قضیه،
رده :
511
/3
الف
348
پ
1373
2. Topics in decision problem being an investigation there of in the domains of the first ...
پدیدآورنده : /a monograph by M. S. Adib-SoltÀni .,ادیب سلطانی,Adib Soltani
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
3. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
پدیدآورنده : /پیام سراجی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
4. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
5. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه انتشارات سمت (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
6. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: كتابخانه و مركز اسناد بنياد ايران شناسى (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
7. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
8. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
9. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
10. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
11. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
12. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: کتابخانه و موزه ملی ملک (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
13. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
14. برهان گودل و حقيقت و برهان
پدیدآورنده : ناگل ، ارنست ، - 1901
موضوع : گودل ، قضيه=منطق رياضي
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
15. برهان گودل و حقيقت و برهان
پدیدآورنده : /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : گودل ، قضيه,منطق رياضي
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
16. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
17. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
پدیدآورنده : /شیوا خالقی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
18. پژوهشی در پیرامون مسئله تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنا‌یی
پدیدآورنده : نوشته میرشمس‌الدین ادیب سلطانی
کتابخانه: كتابخانه امام صادق (ع) (حوزه علميه) (قزوین)
موضوع : منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴،
پ
۴
19. پژوهشی در پیرامون مسئله تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنا‌یی
پدیدآورنده : ادیب سلطانی، میر شمس‌الدین
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
20. پژوهشي در پيرامون مسئله تصميم در منطق طرح چند خوارزميک تحليلي - معنايي
پدیدآورنده : /نوشته مير شمس الدين اديب سلطاني,اديب سلطاني ، مير شمس الدين ، ۱۳۱۰ -
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : منطق رياضي,گودل ، قضيه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
